#include "syscall.h"
#define THIS "aaa" 
#define THAT "bbb"

const int N = 10; // Choose it large enough

void puts (char *s) {
	char *p; for(p =s; *p != '\0'; p++) PutChar(*p);
}

void f(void *s) {
	int i; for(i=0; i < N ; i++) puts((char *)s);
}

main()
{
 int i;
 int tid;
 tid = UserThreadCreate(f, (void *) THIS );
 UserThreadJoin(tid);
 f((void*) THAT);
 

 return 1;
}
